//wiki table
n=235;

load("solve.js");

var ids=[];
for(var i=1; i<=235; i++) {
    ids[i] = (1000+i).toString().substr(1);
}

for(var i=0; i<solved.length; i++) {
    var id = parseInt(solved[i],10);
    ids[id] = "<font color='red'>*~~" + ids[id] + "~~*</font>";
}

var result = [], temp=[];
for(var i=1; i<=235; i++) {
    if(i%10==1) {
        if(temp.length>0) {
            result.push("|| " + temp.join(" || ") + " ||")
        }
        temp=[];
    }
    temp.push(ids[i]);
}
result.push("|| " + temp.join(" || ") + " ||")

print(result.join("\n"));
